Peter H. Schmitt (eds.): د Z-Library په سایټ کښې پلټل

اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه

پوهې او کلتور ته وړیا لاسرسی.

اعانه 15 سپتمبر 2024 – 1 اکتبر2024

Z-Library په نړی کې انلاین لوی ترین کتابتون، چې پکی زیاتره 17,000,000 کتابونه او 84,837,000 مقالی ساتل کیږی، مونږ کوښښ کوو چې ادبیاتو ته هر سړی لاسرسی ولری نن (15 سپتمبر 2024) د پروژی د ملاتړ او پرمختیا لپاره مونږ د اضافی اعانی ټولونی صندوق خلاصوو.

همداسی بدون د نورم (لیمیت) کاپی کول ( ۳۱ ورځو لپاره د اعانی ورکولو د ورځی څخه) د ټولو استفاده کوونکو لپاره مجاز دی،د موادو ټولولو په جریان کې اعانه ورکوی تر 1 اکتبر2024.

د پیسو د راټولولو په اړهتفصیلات

د فیلترونو نه استفاده وشوه

دقیق مطابقت والی

دقیق مطابقت والی

کتابونه (17)
مشهورترین
لیسټ
- لیسټ
- جدول

1

Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

Springer International Publishing

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

کال:

2016

ژبه:

english

فایل:

PDF, 8.26 MB

5.0 / 5.0

english, 2016

2

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Springer Netherlands

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

کال:

1998

ژبه:

english

فایل:

DJVU, 3.89 MB

0 / 0

english, 1998

3

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

کال:

2007

ژبه:

english

فایل:

PDF, 3.94 MB

0 / 0

english, 2007

4

Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Gerd Brewka, Jürgen Dix, Kurt Konolige (auth.), Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (eds.)

کال:

1993

ژبه:

english

فایل:

DJVU, 3.35 MB

0 / 0

english, 1993

5

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 5.17 MB

0 / 5.0

english, 2012

6

Fabrication of Complex Optical Components: From Mold Design to Product

Fabrication of Complex Optical Components: From Mold Design to Product

Springer-Verlag Berlin Heidelberg

Robert Schmitt, Peter Becker (auth.), Ekkard Brinksmeier, Oltmann Riemer, Ralf M. Gläbe (eds.)

کال:

2013

ژبه:

english

فایل:

PDF, 46.59 MB

0 / 0

english, 2013

7

Digital Urban Modeling and Simulation

Digital Urban Modeling and Simulation

Springer-Verlag Berlin Heidelberg

Gerhard Schmitt (auth.), Stefan Müller Arisona, Gideon Aschwanden, Jan Halatsch, Peter Wonka (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 76.58 MB

0 / 0

english, 2012

8

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Springer Netherlands

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

کال:

1998

ژبه:

english

فایل:

PDF, 16.71 MB

0 / 0

english, 1998

9

Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Springer Netherlands

Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

کال:

1998

ژبه:

english

فایل:

PDF, 13.25 MB

0 / 0

english, 1998

10

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

کال:

2007

ژبه:

english

فایل:

PDF, 5.36 MB

0 / 0

english, 2007

11

Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Springer Netherlands

Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

کال:

1998

ژبه:

english

فایل:

DJVU, 2.98 MB

0 / 0

english, 1998

12

Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Springer-Verlag London

Arjen Hommersom, Perry Groot, Peter Lucas, Michael Balser, Jonathan Schmitt (auth.), Professor Max Bramer BSc, PhD, CEng, FBCS, FIEE, FRSA, Dr Frans Coenen PhD, Dr Andrew Tuson MA, MSc, PhD, MBCS (eds.)

کال:

2007

ژبه:

english

فایل:

PDF, 16.94 MB

0 / 0

english, 2007

13

Aspekte der Entwicklung im mittleren und höheren Lebensalter: Ergebnisse der Interdisziplinären Längsschnittstudie des Erwachsenenalters (ILSE)

Aspekte der Entwicklung im mittleren und höheren Lebensalter: Ergebnisse der Interdisziplinären Längsschnittstudie des Erwachsenenalters (ILSE)

Steinkopff-Verlag Heidelberg

U. Lehr, H. Thomae, M. Schmitt, E. Minnemann (auth.), Prof. Dr. Peter Martin, Prof. Dr. Klaus Udo Ettrich, Prof. em. Dr. Dr. h.c. Ursula Lehr, Prof. Dr. Dorothea Roether, Dr. Mike Martin, Dipl.-Psych. Antje Fischer-Cyrulies (eds.)

کال:

2000

ژبه:

german

فایل:

PDF, 7.99 MB

0 / 0

german, 2000

14

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 5.36 MB

0 / 0

english, 2012

15

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 5.21 MB

0 / 0

english, 2012

16

Vierter Internationaler Kongress für Elektronenmikroskopie / Fourth International Conference on Electron Microscopy / Quatrième Congrès International de Microscopie Électronique: Berlin 10.–17. September 1958

Vierter Internationaler Kongress für Elektronenmikroskopie / Fourth International Conference on Electron Microscopy / Quatrième Congrès International de Microscopie Électronique: Berlin 10.–17. September 1958

Springer-Verlag Berlin Heidelberg

Francis O. Schmitt (auth.), W. Bargmann, G. Möllenstedt, H. Niehrs, D. Peters, E. Ruska, C. Wolpers (eds.)

کال:

1960

ژبه:

german-english

فایل:

PDF, 39.44 MB

0 / 0

german-english, 1960

17

Verhandlungen Band II / Biologisch-Medizinischer Teil

Verhandlungen Band II / Biologisch-Medizinischer Teil

Springer-Verlag Berlin Heidelberg

Francis O. Schmitt (auth.), W. Bargmann, D. Peters, C. Wolpers (eds.)

کال:

1960

ژبه:

german

فایل:

PDF, 57.73 MB

0 / 0

german, 1960